1. ASIAN 2003 :--Advances in computing science
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;
2. Advanced computing and communication technologies :
پدیدآورنده : Jyotsna Kumar Mandal, Dhananjay Bhattacharyyqa, Nitin Auluck, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Electronic data processing, Congresses.,Information technology, Congresses.,Telecommunication systems, Congresses.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Information technology.,Telecommunication systems.
رده :
QA75
.
5
3. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings
پدیدآورنده : Michael J. Maher )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
3321
4. Advances in computing science--ASIAN 2002 : Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing : 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002 : proceedings
پدیدآورنده : Alain Jean-Marie )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2550
5. Advances in computing science- ASIAN '97: Third Asian Computing Science Conference, Kathmandu, Nepal, Dec. 1997: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer science-- Congresses,، Electronic data processing-- Congresses
رده :
QA
75
.
5
.
A735
1997
6. Advances in computing science-ASIAN'97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 9-11, 1997 : proceedings
پدیدآورنده : R. K. Shyamasundar, K. Ueda )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
1345
7. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings
پدیدآورنده : Vijay A. Saraswat, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
2896
8. Advances in computing science, ASIAN'98 : 4th Asian Computing Science Conference, Manila, The Philippines, December 1998 : proceedings
پدیدآورنده : Jieh Hsiang, Atsushi Ohori )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
1538
9. Advances in computing science--ASIAN'99 : 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 : proceedings
پدیدآورنده : P.S. Thiagarajan, R. Yap )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer science,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
1742
10. Advances in conceptual modeling--recent developments and new directions :
پدیدآورنده : Olga De Troyer [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Electronic data processing, Congresses
رده :
QA75
.
5
.
I58
2011
11. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: (طهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
12. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
پدیدآورنده : E. Borger, H. Kleine Buning, M.M. Richter )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
329
13. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
14. Computer algebra and parallelism
پدیدآورنده : R.E. Zippel )ed.(
کتابخانه: (کرمان)
موضوع : Algebra- Data processing- Congresses,Parallel programming )Computer science(- Congresses,Parallel processing )Electronic computers(- Congresses
رده :
QA
155
.
7
.
E4
,
C6495
1992
15. Computer algebra and parallelism
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Algebra- Data processing- Congresses,Parallel programming )Computer science(- Congresses,Parallel processing )Electronic computers(- Congresses
16. Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Algebra-- Data processing-- Congresses,، Parallel programming )Computer science(-- Congresses,، Parallel processing )Electronic computers(-- Congresses
رده :
QA
155
.
7
.
E4
.
C6495
1992
17. Developments in language theory :
پدیدآورنده : Piotrek Hofman, Michał Skrzypczak (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Data structures (Computer science), Congresses.,Electronic data processing, Congresses.,Formal languages, Congresses.,Logic design, Congresses.,Computer science.,Data structures (Computer science),Electronic data processing.,Formal languages.,Logic design.
18. Distributed computing and internet technology
پدیدآورنده : Manish Parashar, Sanjeev K. Aggarwal (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses,Electronic data processing-- Distributed processing, Congresses,Internet, Congresses
رده :
QA75
.
5
.
D57
2008eb
19. Distributed intelligence systems: selected papers from the IFAC symposium, Arlington, Virginia, USA, 13-15 August 1991
پدیدآورنده : edited by A.H. Levis and H.E. Stephanou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Expert systems )Computer science(,Distributed processing - congresses ، Electronic data processing
رده :
QA
76
.
76
.
E95
I37
1991
20. Engineeering distributed objects
پدیدآورنده : / edited by Wolfang Emmerich and Stefan Tai
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Object oriented programming (Computer science)- Congresses,Electronic data processing- Distributed processing- Congresses
رده :
QA76
.
64
.
E255
2001